Closed category - PDFSEARCH.IO - Document Search Engine

Closed category
Results: 176

#	Item
151	Free models of T -algebraic theories computed as Kan extensions Nicolas Tabareau ∗ Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2008-11-17 11:04:51 Abstract algebra Monoid Functor PRO Adjoint functors Enriched category Cartesian closed category Algebraic structure Monad Category theory Algebra Monoidal categories
152	MFPS[removed]Towards a Common Categorical Semantics Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-04-24 15:13:37 Logic Monad Curry–Howard correspondence Monoidal category Cartesian closed category Categorical logic Kripke semantics Modal logic Strong monad Category theory Mathematics Adjoint functors
153	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2010-02-22 14:55:33 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures
154	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2010-02-20 12:22:21 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures
155	Reprints in Theory and Applications of Categories, No. 16, 2006, pp. 1–16. ADJOINTNESS IN FOUNDATIONS Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2006-10-30 16:11:22 Functors Adjoint functors Universal property Equivalence of categories Natural transformation Topos Forgetful functor Sheaf Cartesian closed category Category theory Abstract algebra Mathematics
156	Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2006-02-24 14:27:12 Functors Sheaf theory Adjoint functors Cartesian closed category Topos Exponential object Hom functor Yoneda lemma Diagonal functor Category theory Mathematics Abstract algebra
157	Partial Combinatory Algebras and Realizability Toposes Pieter J.W. Hofstra University of Ottawa Add to Reading List Source URL: mysite.science.uottawa.ca Language: English - Date: 2012-03-30 10:43:13 Model theory Combinatory logic Logic in computer science Function Topos Functor Interpretation Cartesian closed category Adjoint functors Mathematics Mathematical logic Lambda calculus
158	Fibred Data Types Neil Ghani, Lorenzo Malatesta Add to Reading List Source URL: cs.swan.ac.uk Language: English - Date: 2013-05-02 18:57:40 Functors Algebraic topology Sheaf Limit Coproduct Initial and terminal objects Subcategory Cartesian closed category Diagram Category theory Abstract algebra Mathematics
159	Submitted to ICFP ’12 Functional Pearl: F for Functor Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-03-14 13:27:08 Natural transformation Monoidal functor Limit Diagram Monad Monoidal category Sheaf Cartesian closed category Grothendieck topology Category theory Abstract algebra Functors
160	Categories of Containers Michael Abbott1 , Thorsten Altenkirch2, and Neil Ghani1 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:34:31 Limit Adjoint functors Coproduct Equivalence of categories Product Cartesian closed category Initial and terminal objects Natural transformation Sheaf Category theory Abstract algebra Functors

UPDATE